#ifndef __KERNEL_H__
#define __KERNEL_H__

#include <kernel/types.h>

#ifndef NULL
#define NULL ((void *)0)
#endif

#ifndef offsetof
#define offsetof(type, mem) ((size_t)((char *)&((type *)0)->mem - (char *)0))
#endif

#define ASM __volatile__ __asm__

int kprintf(const char *fmt, ...);

#endif
